locally convex direct sum - Allemand Anglais Dictionnaire